Advanced formal verification electronic resource
- Författare
- (Edited by Rolf Drechsler.)
- Genre
- Electronic books., Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Publishers | c2004 | Massachusetts, Boston | xxv, 249 sidor. ill. 25 cm. | 978-1-4020-2530-3 |